Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
871	List of approved Special Topic Sessions – STS for the ISI2015 Title Organisers Add to Reading List Source URL: www.isi2015.org Language: English - Date: 2015-02-12 06:41:15 Scientific method Research methods Econometrics Formal sciences Data analysis Data mining Statistical inference Joseph Hilbe Analysis Science Statistics Knowledge
872	Teradata 2014 PARTNERS Conference & Expo Boilerplate Short and Long Form Short use: PARTNERS is a community dedicated to sharing information, ideas, and all things related to data. Its mission is to discover and communi Add to Reading List Source URL: 6be4addfdfed57996db5-707f7cd53f002c3bb55d4349e514e96f.r19.cf2.rackcdn.com Language: English - Date: 2014-05-16 10:53:48 Teradata Formal sciences Information technology management Business Analytics Data analysis Business intelligence Science NCR Corporation
873	JOURNAL OF XX, VOL. X, NO. X, JANUARY XXXX 1 Formal and Compositional Analysis of Power Systems using Reachable Sets Add to Reading List Source URL: www6.in.tum.de Language: English - Date: 2014-06-18 07:46:56 Differential calculus Control theory Dynamical systems Numerical analysis Differential equation Linearization Differential of a function Differential algebraic equation Nonlinear system Mathematical analysis Calculus Mathematics
874	Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization Matthias Althoff [removed] Akshay Rajhans Add to Reading List Source URL: www6.in.tum.de Language: English - Date: 2013-10-23 12:11:04 Oscillators Concurrency Electronic design Phase-locked loop Charge pump Petri net Reachability Electronic engineering Electronics Electrical engineering
875	International Journal of Business Intelligence and Data Mining (IJBIDM) Special Issue on Intelligent, Distributed and Parallel Computing and Data Management Only the authors who presented papers at AINA-2009 Internationa Add to Reading List Source URL: www.inf.brad.ac.uk Language: English - Date: 2009-08-27 05:14:59 Institute of Electrical and Electronics Engineers Business intelligence Multi-agent system Data management Statistics Science Formal sciences Data analysis Data mining
876	DOC Document Add to Reading List Source URL: www.finance.gov.au Language: English - Date: 2014-04-16 01:54:01 Formal sciences Business intelligence Data analysis Analytics Mathematical finance Big data Telecommunications data retention Data sharing Open data Science Technology Data management
877	Analysis and Synthesis: Interdependent Operations in Chemical Language and Practice Add to Reading List Source URL: hyle.org Language: English - Date: 2013-03-20 19:45:43 Chemical formulas Formal languages Logical syntax Metalogic Chemical compound Chemical substance Chemist Chemical synthesis Chemical element Chemistry Science Logic
878	Defining the Big Data Architecture Framework (BDAF) Outcome of the Brainstorming Session at the University of Amsterdam Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-07-24 05:24:07 Information technology management Formal sciences Database theory Emerging technologies Big data Data architecture Analytics Database Data analysis Database management systems Technology Data management
879	Error-tolerant Finite-state Recognition with Applications to Morphological Analysis and Spelling Correction Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-20 11:43:28 Theoretical computer science Grammar Finite state transducer Formal grammar Finite-state machine Morphology Computer science Linguistics Formal languages Automata theory Models of computation
880	Hindawi Publishing Corporation International Journal of Distributed Sensor Networks Volume 2012, Article ID[removed], 8 pages doi:[removed][removed]Research Article Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-05-08 04:25:14 Sensors Formal sciences Data analysis Data mining Body area network ANT Sensor node Sensor Visual sensor network Technology Wireless sensor network Wireless networking

UPDATE